 |
0 索取号:TP31-53/E803/6 作者:International Conference on Software Engineering (6th : 1982 : Tokyo、 Japan)、United States. National Bureau of Standards.、IEEE Computer Society.、ACM Sigsoft.、Jōhō Shori Gakkai (Japan)、ACM Digital Library.、 出版社:[Los Angeles, Calif.] : IEEE Computer Society, 1982.
|  |
0 索取号:TP31-53/E803/4 作者:International Conference on Software Engineering (4th : 1979 : Munich、 Germany)、ACM Sigsoft.、IEEE Computer Society.、ACM Digital Library.、 出版社:New York : Institute of Electrical and Electronics Engineers ; Long Beach, Calif. : available from IEEE Computer Society, c1979.
|
 |
0 索取号:TP31-53/E803/3 作者:International Conference on Software Engineering (3rd : 1978 : Atlanta、 Ga.)、United States. National Bureau of Standards.、ACM Sigsoft.、ACM Digital Library.、IEEE Computer Society.、 出版社:Long Beach, Calif. : The Society, c1978.
|  |
0 索取号:TP303-53/E801/1 作者:Symposium on Computer Architecture (1st : 1973 : University of Florida)、Lipovski、 G. Jack.、Szygenda、 S. J.、Sigarch.、IEEE Computer Society.、University of Florida. Center for Informatics Research.、 出版社:New York : Institute of Electrical and Electronics Engineers [and] Association for Computing Machinery, 1973.
|
 |
0 索取号:X13-532/E20041/4 作者:International Workshop on Green Chemistry and Engineering (4th : 2000 : Washington、 D.C.)、Lankey、 Rebecca L.、 1971-、Anastas、 Paul T.、 1962-、International Workshop on Green Chemistry and Engineering (4th : 2000 : Washington、 D.C.)、 出版社:Washington, D.C. : American Chemical Society, c2002.
|  |
0 索取号:TP302.2/E802 作者:Symposium on the Theory and Applications of Multiple-Valued Logic Design (1971 : Buffalo、 N.Y.)、State University of New York at Buffalo.、United States. Office of Naval Research.、 出版社:[s. l. : s. n., 1971?].
|
 |
0 索取号:TP302-53/E801/10 作者:Asilomar Conference on Circuits、 Systems、 and Computers (10th : 1976 : Pacific Grove、 Calif.)、Titus、 Harold A.、University of Santa Clara.、Naval Postgraduate School (U.S.)、Institute of Electrical and Electronics Engineers. San Francisco Section、 出版社:North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1977.
|  |
0 索取号:TP302-53/E801/8 作者:Asilomar Conference on Circuits、 Systems、 and Computers (8th : 1974 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.).、University of Santa Clara.、 出版社:North Hollywood, Calif. : [Distributed by] Western Periodicals Co., c1975.
|
 |
0 索取号:TP302-53/E801/7 作者:Asilomar Conference on Circuits、 Systems and Computers (7th : 1973 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1974]
|  |
0 索取号:TP302-53/E801/6 作者:Asilomar Conference on Circuits and Systems (6th : 1972 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:New York : IEEE, 1972.
|
 |
0 索取号:TP302-53/E801/5 作者:Asilomar Conference on Circuits and Systems (5th : 1971 : Pacific Grove、 Calif.)、Parker、 Sydney R.、Naval Postgraduate School (U.S.)、University of Santa Clara.、 出版社:[North Hollywood, Calif. : Western Periodicals Company, 1972]
|  |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|
 |
0 索取号:TP3-53/E8014/1981 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、 出版社:Berlin ; New York : Springer-Verlag, 1981.
|  |
0 索取号:TP3-55/E9010 作者: 出版社:Berlin ; New York : Springer-Verlag, 1981.
|
 |
0 索取号:TP3-53/E8014/1980 作者:Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna、 Poland)、Dembiński、 Piotr.、 出版社:Berlin ; New York : Springer-Verlag, 1980.
|  |
0 索取号:TP3-55/E801 作者:International Symposium on Computing Methods in Applied Sciences and Engineering (1st : 1973 : Versailles)、Glowinski、 R.、 ed.、Lions、 Jacques Louis、 ed.、Iria Laboria.、 出版社:Berlin ; New York : Springer-Verlag, 1974.
|